Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
141	A Verification-Driven Approach to Traceability and Documentation for Auto-Generated Mathematical Software Ewen Denney SGT / NASA Ames Moffett Field, CA 94035 Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software requirements Formal methods Procedural programming languages Requirement Comment Formal verification Traceability Axiom C Mathematical proof Metamath
142	Computer-Aided Reasoning for the Masses Panagiotis Manolios College of Computer and Information Science Northeastern University 360 Huntington Ave., Boston MA 02115, USA Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:29:56 Theoretical computer science Formal methods ACL2 Lisp Statements Automated theorem proving Formal verification J Strother Moore Mathematical proof Conjecture Algorithm Reason
143	Analysis and Transformation of Proof Procedures David Andre de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineeri Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Logic in computer science Formal methods Theoretical computer science Prolog Logic programming Model elimination Mathematical logic E theorem prover First-order logic Lean theorem prover Automated reasoning
144	CONTENTS INTRODUCTION .......................................................................................... XI-XII CHAPTER 1: WHAT IS THE GENEALOGICAL PROOF STANDARD ? ................... 1-12 APPLYING THE STANDARD Add to Reading List Source URL: www.christine4rose.com Language: English - Date: 2015-04-08 12:19:37 Critical thinking Evidence Genealogy Logical truth Genealogical Proof Standard Standards Mathematical proof Proof Global Positioning System Argument Closing argument
145	Order of Descendants of Pirates & Privateers Application Instructions Fill out as many of the spaces on the worksheet application form as possible. It is necessary to prove that each generation descends from the prior. D Add to Reading List Source URL: www.piratesprivateers.org Language: English - Date: 2008-03-24 17:02:21 Mathematical proof Genealogy Publishing Patent application Certified copy
146	SPECIAL ISSUE IN HONOR OF DAVID GALE Add to Reading List Source URL: gametheorysociety.org Language: English - Date: 2011-10-28 08:32:02 Fellows of the Econometric Society Game theory Guggenheim Fellows Mathematical economics Mathematical economists David Gale Lloyd Shapley Stable marriage problem Matching theory Nash equilibrium Mathematical proof Alvin E. Roth
147	dialectica bs_bs_banner dialectica Vol. 69, N° ), pp. 435–472 DOI: .12120 Add to Reading List Source URL: philosophy.unc.edu Language: English - Date: 2015-12-29 10:29:07 Projective geometry Euclidean plane geometry Incidence geometry Triangles Euclidean geometry Perspective Geometry Collinearity Theorem Mathematical proof Incidence Girard Desargues
148	Universitetet i Oslo Institutt for informatikk An Evaluation of the ABEL System Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2002-04-05 02:22:20
149	TOWARDS PROOF SCRIPT REFACTORING DAVID ASPINALL, LUCAS DIXON, IAIN WHITESIDE 1. Introduction In software engineering, a refactoring is a semantics preserving restructuring operation ‘that support[s] the design, evoluti Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-01-09 06:40:19 Extreme programming Code refactoring Mathematical proof Isabelle
150	Proving Autonomous Vehicle and Advanced Driver Assistance Systems Safety Add to Reading List Source URL: utc.ices.cmu.edu Language: English - Date: 2016-05-26 15:13:50 Formal systems Proof theory Logic in computer science Formal methods Theoretical computer science KeY Automated theorem proving Mathematical proof Formal verification Mathematical logic Modal logic Dynamic logic

UPDATE